indirect proof examples